4460 search results - page 90 / 892 » Formal methods for interactive systems |
SAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
In this paper, we begin by laying out our motivation for exploring methods of evaluating Ambient Information Systems, with a strong push toward in-situ studies. Next, we describe ...
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
FM
1999
Springer
15 years 2 months ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...