561 search results - page 83 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
143
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...
218
click to vote
TASE
2012
IEEE
13 years 9 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
134
click to vote
AGP
1996
IEEE
15 years 6 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
IADIS
2004
15 years 3 months ago
2004
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...
116
click to vote
PODS
2010
ACM
15 years 2 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...