8196 search results - page 1326 / 1640 » Computational Modeling and Complexity Science |
154
click to vote
LAWEB
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...
124
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
148
click to vote
EDUTAINMENT
2007
Springer
15 years 11 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
155
click to vote
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
In Grid systems, nontrivial qualities of service have to be provided to users by the resource providers. However, resource management in a decentralized infrastructure is a complex...
149
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...