2658 search results - page 281 / 532 » Micro-communication Element System |
132
click to vote
CEEMAS
2003
Springer
15 years 10 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
130
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— The purpose of this paper is to continue to develop the recently introduced concept of a regular positivereal function and its application to the classification of lowcomplexi...
152
click to vote
ISORC
1999
IEEE
15 years 9 months ago
1999
IEEE
As networks and the use of communication within applications continue to grow and find more uses, so too does the demand for more control and manageability of various "system...
138
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
137
click to vote
VLSID
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract Code optimization for digital signal processors DSPs has been identi ed as an important new topic in system-level design of embedded systems. Both DSP processors and algor...