2607 search results - page 374 / 522 » On the Architecture of System Verification Environments |
142
click to vote
ITICSE
2010
ACM
15 years 11 months ago
2010
ACM
This paper introduces the SOM (Simple Object Machine) family of virtual machine (VM) implementations, a collection of VMs for the same Smalltalk dialect addressing students at diï...
204
click to vote
AAAI
2006
15 years 8 months ago
2006
The ability to interpret demonstrations from the perspective of the teacher plays a critical role in human learning. Robotic systems that aim to learn effectively from human teach...
204
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
164
click to vote
KES
2010
Springer
15 years 5 months ago
2010
Springer
The retrieval of similar documents from large scale datasets has been the one of the main concerns in knowledge management environments, such as plagiarism detection, news impact a...
203
click to vote
PERCOM
2011
ACM
14 years 9 months ago
2011
ACM
Abstract—The adaptive ubiquitous services, which dynamically adapt behaviors to requirements and contexts, are one of the major challenges in the ubiquitous computing. To facilit...