5407 search results - page 1041 / 1082 » The Software Engineering Global Model |
194
click to vote
UIST
2004
ACM
16 years 25 days ago
2004
ACM
Location-enhanced applications use the location of people, places, and things to augment or streamline interaction. Location-enhanced applications are just starting to emerge in s...
199
Voted
ICFEM
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
204
click to vote
ICFEM
2004
Springer
16 years 24 days ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
179
Voted
ICFEM
2004
Springer
16 years 24 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
181
click to vote
INFOVIS
2003
IEEE
16 years 21 days ago
2003
IEEE
Many networks under study in Information Visualization are “small world” networks. These networks first appeared in the study social networks and were shown to be relevant mod...