431 search results - page 66 / 87 » Using Formal Methods to Reason about Architectural Standards |
PERCOM
2006
ACM
15 years 11 months ago
2006
ACM
Many information services in pervasive computing offer rich information, which is information that includes other types of information. For example, the information listed in a pe...
SIGSOFT
2005
ACM
16 years 14 days ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Concurrent reachability games is a class of games heavily studied by the computer science community, in particular by the formal methods community. Two standard algorithms for app...
ECIS
2000
15 years 1 months ago
2000
: Only about 5% of the companies which could profit from EDI actually use it. The main reason is that especially small and medium-sized enterprises (SMEs) try to avoid the consider...
ICAT
2006
IEEE
15 years 5 months ago
2006
IEEE
Today, hand-held computing and media devices are commonly used in our everyday lives. This paper assesses the viability of hand-held devices as effective platforms for “virtual r...