2153 search results - page 90 / 431 » From Requirements Models to Formal Specifications in B |
WFLP
2000
Springer
14 years 23 days ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
WSC
2000
13 years 10 months ago
2000
This paper considers the development of envelope methods as a tool for simulation. Envelope methods are based on the construction of simple envelopes to functions. The proposed en...
SERP
2004
13 years 10 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
ASIACRYPT
2004
Springer
14 years 29 days ago
2004
Springer
Group signature schemes are cryptographic systems that provide revocable anonymity for signers. We propose a group signature scheme with constant-size public key and signature leng...
FMAM
2010
13 years 7 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...