237 search results - page 47 / 48 » Automating Refinement Checking in Probabilistic System Desig... |
135
Voted
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
106
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
In e-commerce, for some cases the service requested by the consumer cannot be fulfilled by the producer. In such cases, service consumers and producers need to negotiate their ser...
109
click to vote
ICFEM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
203
Voted
GIS
2003
ACM
16 years 2 months ago
2003
ACM
Location-Based Services (LBSs) utilize information about users' locations through location-aware mobile devices to provide services, such as nearest features of interest, the...
104
Voted
IUI
2006
ACM
15 years 7 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...