663 search results - page 75 / 133 » E-connections of abstract description systems |
RP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
CADE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
MHCI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper introduces a prototype of a distributed user interface (DUI) on dual devices, a workstation and a Windows Mobilepowered smartphone. By porting the XML-complian...
AOSE
2003
Springer
14 years 28 days ago
2003
Springer
A helpful abstraction of a group of agents is a set of interacting roles, or sets of normative behaviors, that the agents can assume. An important characteristic of real-world agen...
IPPS
2002
IEEE
14 years 18 days ago
2002
IEEE
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...