4036 search results - page 476 / 808 » Formal Methods |
176
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
177
click to vote
DEBS
2010
ACM
15 years 10 months ago
2010
ACM
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
195
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...
197
click to vote
WSC
2001
15 years 8 months ago
2001
This paper presents an application distributed simulation to the evaluation of virtual enterprises. Each company or candidate can use a simulation of its facilities to determine i...
199
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...