1366 search results - page 17 / 274 » Modularizing Contexted Constraints |
CASCON
2006
13 years 11 months ago
2006
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...
SOCO
2010
Springer
13 years 7 months ago
2010
Springer
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
OTM
2007
Springer
14 years 3 months ago
2007
Springer
Mobile hypermedia applications combine the well-known advantages of the navigational paradigm of the Web with the capabilities of location-aware software. However, there are some s...
KR
2010
Springer
14 years 2 months ago
2010
Springer
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
CIBCB
2008
IEEE
13 years 11 months ago
2008
IEEE
The concept of a network motif--a small set of interacting genes which produce a predictable behaviour at the network level--has attracted considerable attention amongst network an...