3527 search results - page 339 / 706 » Test Automation in Practice |
162
click to vote
RTCSA
2006
IEEE
16 years 20 days 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...
232
click to vote
ACL2
2006
ACM
16 years 19 days 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 ...
246
click to vote
SAC
2006
ACM
16 years 18 days 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...
182
click to vote
EDOC
2005
IEEE
16 years 8 days 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...
167
click to vote
MMM
2005
Springer
16 years 7 days 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...