1022 search results - page 43 / 205 » Specification of Dynamics for Knowledge-Based Systems |
SIGECOM
2005
ACM
14 years 1 months ago
2005
ACM
Business-to-business electronic contracts provide a specification of the agreed value exchange and guarantee legal protection to companies during electronic trading relations. Imp...
JODS
2006
13 years 7 months ago
2006
Abstract. We study the exchange of information in collective information systems mediated by information agents, focusing specifically on the problem of semantic interoperability. ...
FSTTCS
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
SOSYM
2010
13 years 6 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
RISE
2005
Springer
14 years 1 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...