29172 search results - page 377 / 5835 » Modeling Systems in CLP |
186
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
173
click to vote
EUROPAR
2005
Springer
16 years 10 days ago
2005
Springer
Grid-BGC is a Grid-enabled terrestrial biogeochemical cycle simulator collaboratively developed by the National Center for Atmospheric Research (NCAR) and the University of Colorad...
176
click to vote
ICC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this contribution, we propose an improved system architecture focusing on system reference and protocol stack for broadband wireless access networks. The proposal aims to constr...
144
click to vote
ISIPTA
1999
IEEE
15 years 11 months ago
1999
IEEE
We consider discrete possibilistic systems for which the available information is given by one-step transition possibilities and initial possibilities. These systems can be repres...
164
click to vote
IJIIDS
2008
15 years 6 months ago
2008
: Emergency vehicles, while usually equipped with warning sirens and/or beacons, are still often impeded by other traffic and involved in numerous collisions. An effective warning ...