249 search results - page 36 / 50 » Context Sensitivity in Logical Modeling with Time Delays |
122
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...
115
click to vote
BROADNETS
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— This paper provides a concise modeling and performance evaluation of the iSCSI storage area network (SAN) architecture and protocol. SANs play a key role in business co...
109
click to vote
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
121
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
In a data warehousing process, the data preparation phase is crucial. Mastering this phase allows substantial gains in terms of time and performance when performing a multidimensio...
129
click to vote
DFG
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...