247 search results - page 31 / 50 » Agent-Oriented Modeling by Interleaving Formal and Informal ... |
SBBD
2004
13 years 10 months ago
2004
An enormous amount of information is currently available through specialized services of digital libraries (DLs). However the specification and development of DLs are very complex...
ICECCS
2000
IEEE
14 years 1 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
ECSCW
2001
13 years 10 months ago
2001
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
ER
1995
Springer
14 years 6 days ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
DAC
2007
ACM
14 years 17 days ago
2007
ACM
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...