1809 search results - page 133 / 362 » A Formal Specification of dMARS |
ECR
2010
13 years 6 months ago
2010
Mobile commerce applications adhering to anytime and anywhere paradigm, required to be flexible. They should be able to adapt their interface, services and content towards a certai...
SBMF
2010
Springer
13 years 3 months ago
2010
Springer
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
TKDE
2012
11 years 11 months ago
2012
— Most proposed DHTs engage certain topology maintenance mechanisms specific to the static graphs on which they are based. The designs of these mechanisms are complicated and rep...
ECOOPW
1997
Springer
14 years 1 months ago
1997
Springer
: Most of the study of patterns has been restricted to the composition of "new" patterns. These authors, however, believe that the investigation of design patterns is rip...
FMCAD
2007
Springer
14 years 29 days ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...