380 search results - page 13 / 76 » Operational Semantics for Declarative Networking |
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...
104
click to vote
CIBSE
2009
ACM
15 years 8 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
123
click to vote
COORDINATION
2004
Springer
15 years 7 months ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...
130
click to vote
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
202
click to vote
VLDB
2006
ACM
16 years 2 months ago
2006
ACM
CQL, a Continuous Query Language, is supported by the STREAM prototype Data Stream Management System at Stanford. CQL is an expressive SQL-based declarative language for registeri...