Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Operational View

Operational View (OV) is one of the basic views defined in the enterprise architecture (EA) of the Department of Defense Architecture Framework V1.5… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Recent availability of data about writing processes at keystroke-granularity has enabled research on the evolution of document… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
2017
2017
This study describes a comparison of how worked examples in selected textbooks from England and Shanghai presented possible… Expand
  • table 1
  • table 2
  • figure 2
  • figure 3
2017
2017
Today, web performance is primarily governed by round-trip latencies between end devices and cloud services. To improve… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2016
2016
Deontic logic as a way of formally reasoning about norms, an important area in AI and law, has traditionally concerned itself… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 10
Highly Cited
2010
Highly Cited
2010
CoralCDN is a self-organizing web content distribution network (CDN). Publishing through CoralCDN is as simple as making a small… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 3
  • figure 4
Highly Cited
2006
Highly Cited
2006
Systems code defines an error-prone execution state space built from deeply nested conditionals and function call chains, massive… Expand
  • figure 3
  • figure 2
  • figure 5
2004
2004
We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use… Expand
2002
2002
In B2B e-commerce, XML provides means to exchange data between applications. It does not guarantee interoperability. On the… Expand
  • figure 1
1998
1998
La specification de services en utilisant un modele formel base sur les objets. On fait un traduction vers TLA pour preuver les… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1997
Highly Cited
1997
The dynamic behavior of rule-based systems (like termrewriting systems [24], process algebras [27], and so on) can be… Expand