1588 search results - page 247 / 318 » Modular action language |
131
click to vote
ICDCS
2002
IEEE
2002
IEEE
An Extensible and Scalable Content Adaptation Pipeline Architecture to Support Heterogeneous Clients
15 years 7 months ago
The importance of middleware and content adaptation has previously been demonstrated for pervasive use of Web-based applications. In this paper we propose a modular, extensible, a...
135
Voted
HYBRID
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
115
click to vote
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
108
Voted
OOPSLA
2001
Springer
15 years 7 months ago
2001
Springer
We present Jiazzi, a system that enables the construction of largescale binary components in Java. Jiazzi components can be thought of as generalizations of Java packages with add...
151
Voted
SP
2000
IEEE
15 years 7 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...