1809 search results - page 201 / 362 » Software Model Checking Using Linear Constraints |
JBCS
2002
13 years 9 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
ICWS
2009
IEEE
14 years 6 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
IVA
2010
Springer
13 years 8 months ago
2010
Springer
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
ENTCS
2002
13 years 9 months ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...
SIGIR
2004
ACM
14 years 3 months ago
2004
ACM
Empirical studies of information retrieval methods show that good retrieval performance is closely related to the use of various retrieval heuristics, such as TF-IDF weighting. On...