306 search results - page 38 / 62 » Towards a Generic Modeling Language for Contract-Based Desig... |
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We propose the study of graphs that are defined by lowcomplexity distributed and deterministic agents. We suggest that this viewpoint may help introduce the element of in...
SPW
2000
Springer
15 years 2 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
ENTCS
2006
14 years 11 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
CAISE
2004
Springer
15 years 4 months ago
2004
Springer
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
103
click to vote
IWSM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...