3725 search results - page 313 / 745 » DLP System Description |
173
click to vote
C5
2008
IEEE
16 years 1 months ago
2008
IEEE
Active content in multimedia documents helps the reader to grasp the implications of nonlinear and complex systems that are difficult to understand in a text-based description. T...
145
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
187
click to vote
CONTEXT
2007
Springer
16 years 28 days ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
180
click to vote
ICALP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
188
Voted
ICSOC
2007
Springer
16 years 27 days ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...