1968 search results - page 122 / 394 » The Complexity of Valued Constraint Models |
106
Voted
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
137
click to vote
QOSA
2007
Springer
15 years 7 months ago
2007
Springer
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
AGENTCL
2000
Springer
15 years 6 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
111
click to vote
IRMA
2000
15 years 2 months ago
2000
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...
119
click to vote
ICECCS
1995
IEEE
15 years 5 months ago
1995
IEEE
When modelling a large and complex system, clarzty of the speczfication becomes an znaportant factor. I n object-oriented specification, the states of individual objects are captu...