1419 search results - page 130 / 284 » Notes on Formalizing Context |
103
click to vote
ISCIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of...
90
Voted
ISMIS
2005
Springer
15 years 6 months ago
2005
Springer
Being a good entry page to a Web site reflects how well the page enables a user to obtain optimal access, by browsing, to relevant and quality pages within the site. Our aim is to...
80
Voted
OTM
2005
Springer
15 years 6 months ago
2005
Springer
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
104
Voted
ICTAC
2004
Springer
15 years 6 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
102
Voted
ESMART
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...