7209 search results - page 1235 / 1442 » Software Engineering for Multi-Agent Systems |
CODES
2002
IEEE
14 years 3 months ago
2002
IEEE
Dynamic run-time scheduling in System-on-Chip platforms has become recently an active area of research because of the performance and power requirements of new applications. Moreo...
APN
2010
Springer
14 years 3 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
ICCAD
1994
IEEE
14 years 2 months ago
1994
IEEE
The reuse of well-tested and optimized design objects is an important aspect for decreasing design times, increasing design quality, and improving the predictability of designs. R...
ETELEMED
2009
IEEE
14 years 2 months ago
2009
IEEE
- As scientific achievements in the area of Healthcare have increased during the last decade, inevitably there has been an increase of treatment quality. One of the challenges to b...
APWEB
2006
Springer
14 years 2 months ago
2006
Springer
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...