681 search results - page 98 / 137 » Aspects for Trace Monitoring |
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
Robotic systems are developed to execute tasks with several types of risks associated. The possible damages that can affect both the working environment and the self-system lead u...
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
Profiles have become a common mechanism for presenting one’s identity online. With the popularity of online social networking services such as Friendster.com, Profiles have been...
FC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. RFID tags have very promising applications in many domains (retail, rental, surveillance, medicine to name a few). Unfortunately the use of these tags can have serious im...
NLDB
2004
Springer
15 years 5 months ago
2004
Springer
We propose a method of synonymous paraphrasing of a text based on WordNet synonymy data and Internet statistics of stable word combinations (collocations). Given a text, we look fo...
102
click to vote
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...