5863 search results - page 429 / 1173 » On Model-Checking of P Systems |
195
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
171
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...
203
click to vote
EUROMICRO
1998
IEEE
15 years 12 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
129
click to vote
DATE
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper discusses several forms of heterogeneity in systems on chip and systems in package. A means to distinguish the various forms of heterogeneity is given, with an estimati...
213
click to vote
ACMDIS
2008
ACM
15 years 9 months ago
2008
ACM
The design, development, and deployment of interactive systems can substantively impact individuals, society, and the natural environment, now and potentially well into the future...