4350 search results - page 191 / 870 » Case studies for contract-based systems |
178
click to vote
IQ
2007
15 years 6 months ago
2007
: Motivated by the problem of out-of-shelf (OOS) in retail industry and the emergence of RFID (Radio Frequency Identification) technology, this paper investigates the impact that t...
158
click to vote
EVOW
2009
Springer
15 years 2 months ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
133
click to vote
STTT
2008
15 years 4 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
113
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
A case study of usability of dial-a-ride bus systems is reported. We conduct a social simulation to compare efficiencies of the dial-a-ride bus systems, one of possible multiagent...
132
click to vote
IWFM
2003
15 years 5 months ago
2003
Peer-to-peer systems like Napster, Gnutella and Kazaa have recently become popular for sharing information. In this paper, we show how to design peer-to-peer systems within the ac...