2409 search results - page 403 / 482 » Logical systems for structured specifications |
118
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Large systems of agents deployed in a real-world environment face threats to their problem solving performance that are independent of the complexity of the problem or the charact...
144
click to vote
ISSS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
134
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present a full-system reconfigurable computing simulation platform intended to promote innovative new research in reconfigurable computing. Currently, reconfigur...
106
Voted
EKAW
2000
Springer
15 years 7 months ago
2000
Springer
An electronic business model is an important baseline for the development of e-commerce system applications. Essentially, it provides the design rationale for e-commerce systems fr...
133
Voted
COOPIS
1997
IEEE
15 years 7 months ago
1997
IEEE
Workflows are activities involving the coordinated execution of multiple tasks performed by different processing entities, mostly in distributed heterogeneous environments which a...