575 search results - page 49 / 115 » Wichita State University |
142
Voted
CAV
1998
Springer
15 years 8 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
121
Voted
JODI
2002
15 years 3 months ago
2002
The World Wide Web Instructional Committee (WWWIC) at North Dakota State University (NDSU) is in the process of developing interactive and immersive worlds for educational purpose...
125
Voted
WMCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
Virtual machine (VM) migration has been proposed as a building block for mobile computing. An important challenge for VM migration is to optimize the transfer of large amounts of ...
132
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
158
Voted
ASE
2011
14 years 7 months ago
2011
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...