1419 search results - page 130 / 284 » Notes on Formalizing Context |
156
click to vote
ISCIS
2005
Springer
15 years 11 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...
150
click to vote
ISMIS
2005
Springer
15 years 11 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...
140
click to vote
OTM
2005
Springer
15 years 11 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...
176
click to vote
ICTAC
2004
Springer
15 years 11 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...
167
click to vote
ESMART
2001
Springer
15 years 10 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,...