11061 search results - page 1493 / 2213 » Computer Architecture |
176
click to vote
APN
2004
Springer
16 years 26 days ago
2004
Springer
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
203
click to vote
ASIAN
2004
Springer
16 years 26 days ago
2004
Springer
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
185
click to vote
ATAL
2004
Springer
16 years 26 days ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
172
click to vote
ATAL
2004
Springer
16 years 26 days ago
2004
Springer
COORDINATORs are coordination managers for fielded first responders. Each first response team is paired with a COORDINATOR coordination manager which is running on a mobile com...
237
click to vote
DIAGRAMS
2004
Springer
16 years 26 days ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...