115 search results - page 7 / 23 » Formalizing organizational constraints: a semantic approach |
BIRTHDAY
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
ICTAC
2004
Springer
14 years 25 days 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...
EUROMICRO
1996
IEEE
13 years 11 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
VL
2010
IEEE
13 years 5 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
JSAI
2005
Springer
14 years 29 days ago
2005
Springer
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...