2106 search results - page 243 / 422 » Operational Semantics for DyLPs |
166
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
168
click to vote
IJSWIS
2008
15 years 6 months ago
2008
Relational technology has shown to be very useful for scalable Semantic Web data management. Numerous researchers have proposed to use RDBMSs to store and query voluminous RDF dat...
183
click to vote
JCP
2006
15 years 6 months ago
2006
Dynamic resource management is a crucial part of the infrastructure for emerging distributed real-time embedded systems, responsible for keeping mission-critical applications opera...
149
click to vote
ENTCS
2007
15 years 6 months ago
2007
Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by...
165
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...