6348 search results - page 819 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
186
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
192
click to vote
ICSE
2007
IEEE-ACM
16 years 29 days ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
183
click to vote
AUIC
2006
IEEE
16 years 26 days ago
2006
IEEE
Wearable technology is omnipresent to the user. Thus, it has the potential to be significantly disruptive to the user’s daily life. Context awareness and intuitive device interf...
202
click to vote
COMPSAC
2006
IEEE
16 years 26 days ago
2006
IEEE
We present DeskPod, a portable system that provides a highly reliable desktop computing environment for mobile users by leveraging rapid improvements in capacity, cost, and size o...
182
Voted
CSMR
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper describes a case study that uses clustering to group classes of an existing objectoriented system of significant size into subsystems. The clustering process is based o...