1026 search results - page 166 / 206 » A Methodology for Equational Reasoning |
BPM
2008
Springer
13 years 9 months ago
2008
Springer
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
HCI
2007
13 years 9 months ago
2007
Advances in sensor technology, embedded processing power, and modeling and reasoning software, have created the possibility for everyday products to sense the environment and pro-a...
LREC
2008
13 years 9 months ago
2008
In this paper, we present a linguistic resource that annotates event structures in texts. We consider an event structure as a collection of events that interact with each other in...
IKE
2007
13 years 9 months ago
2007
- We present an application for analyzing temporal and spatial interaction in an Association Network environment based on integrating Global Positioning Systems (GPS) Data, RDF Met...