3527 search results - page 339 / 706 » Test Automation in Practice |
134
Voted
RTCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
198
Voted
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
207
Voted
SAC
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents a domotic house gateway capable of seamlessly interacting with different devices from heterogeneous domotic systems and appliances. Such a gateway also provide...
140
click to vote
EDOC
2005
IEEE
15 years 10 months ago
2005
IEEE
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
138
Voted
MMM
2005
Springer
15 years 10 months ago
2005
Springer
Currently most systems capable of performing intelligent camera control use cinematographic idioms or a constraint satisfaction mechanism to determine a sequence of camera configu...