575 search results - page 49 / 115 » Wichita State University |
CAV
1998
Springer
14 years 3 days 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...
JODI
2002
13 years 7 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...
WMCSA
2008
IEEE
14 years 2 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 ...
CAV
2004
Springer
14 years 1 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...
ASE
2011
12 years 11 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...