4460 search results - page 530 / 892 » Formal methods for interactive systems |
213
click to vote
MOBISYS
2008
ACM
15 years 9 months ago
2008
ACM
As computing capabilities of embedded devices increase, services such as Internet and multimedia are comportably supported by such devices. Users may demand for migrating services...
227
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
189
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
149
click to vote
IMR
2004
Springer
16 years 2 days ago
2004
Springer
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
181
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract-- This paper presents an approach for visualizing highdimensional fuzzy rules arranged in a hierarchy together with the training patterns they cover. A standard multi-dime...