4919 search results - page 571 / 984 » A Process-Ontological Model for Software Engineering |
162
click to vote
VMCAI
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
118
click to vote
CISIS
2009
IEEE
15 years 12 months ago
2009
IEEE
— JXTA defines a set of six core protocols specifically suited for ad hoc, pervasive, multi-hop, peer-to-peer (P2P) computing. These protocols allow peers to cooperate and form...
122
click to vote
CISIS
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
172
click to vote
CISIS
2009
IEEE
15 years 12 months ago
2009
IEEE
Pervasive computing, the new computing paradigm aiming at providing services anywhere at anytime, poses great challenges on dynamic service composition. Existing service compositi...
143
click to vote
CISIS
2009
IEEE
15 years 12 months ago
2009
IEEE
Modeling and quantifying different human factors continue to be one of the major challenges in introducing new biometric systems. For example, drivers of some of our behavior di...