83 search results - page 6 / 17 » Towards a framework for law-compliant software requirements |
101
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
This paper presents a methodology to derive a Supply Chain Management Ontology based on the RosettaNet specification framework. A prototype to mechanically derive a core ontology ...
110
click to vote
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...
RAS
2008
14 years 11 months ago
2008
Robot projects are often evolutionary dead ends, with the software and hardware they produce disappearing without trace afterwards. Common causes include dependencies on uncommon ...
101
click to vote
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
108
click to vote
ICWS
2004
IEEE
15 years 1 months ago
2004
IEEE
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow software agents to automatically identify these Web r...