4460 search results - page 100 / 892 » Formal methods for interactive systems |
104
click to vote
ICFEM
1998
Springer
15 years 2 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
DSN
2011
IEEE
13 years 9 months ago
2011
IEEE
—We present an online, scalable method for inferring the interactions among the components of large production sys
108
click to vote
NFM
2011
14 years 4 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
103
click to vote
FIW
2009
14 years 7 months ago
2009
Abstract. This paper presents an online detection and resolution method for feature interactions among integrated services in home network systems. To achieve reasonable online det...
100
click to vote
IS
2007
14 years 10 months ago
2007
Collaboration increasingly takes place in virtual communities using the Internet. These communities are socio-technical systems that tend to evolve strongly and become more comple...