2694 search results - page 405 / 539 » A Description Logic of Change |
160
click to vote
ER
2007
Springer
16 years 17 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
171
click to vote
IFL
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
178
click to vote
TLCA
2007
Springer
16 years 15 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
147
click to vote
VAMOS
2007
Springer
16 years 15 days ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...
170
click to vote
ISCC
2006
IEEE
16 years 12 days ago
2006
IEEE
Event detection and tracking are attractive research issues in the wireless sensor network (WSN). The paper proposes a fully distributed protocol, CollECT, to event detection and ...