262 search results - page 33 / 53 » Making Specifications Complete Through Models |
ATAL
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
109
click to vote
SMA
2008
ACM
14 years 10 months ago
2008
ACM
View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...
IJMI
2007
14 years 11 months ago
2007
: The increasing dependency being placed on electronic health information systems presents new challenges for today’s health managers and systems developers. This paper uses Elec...
SIGUCCS
2000
ACM
15 years 4 months ago
2000
ACM
Wabash College has initiated an innovative strategy to solve technology staffing problems experienced by many small undergraduate liberal arts colleges. This strategy targets stud...
121
click to vote
MOBIHOC
2005
ACM
15 years 11 months ago
2005
ACM
Node compromise poses severe security threats in wireless sensor networks. Unfortunately, existing security designs can address only a small, fixed threshold number of compromised...