5216 search results - page 864 / 1044 » Planning as Model Checking |
130
click to vote
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
153
click to vote
PEWASUN
2007
ACM
15 years 5 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
144
click to vote
ENTCS
2006
15 years 4 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
147
click to vote
TCAD
2008
15 years 4 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
243
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Most information extraction (IE) approaches have considered only static text corpora, over which we apply IE only once. Many real-world text corpora however are dynamic. They evol...