Sciweavers

5904 search results - page 248 / 1181
» Requirements for a Composition Language
Sort
View
SIGADA
1998
Springer
15 years 8 months ago
Looking into Safety with the Safety and Security Rapporteur Group
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
Stephen Michell, Mark Saaltink, Brian A. Wichmann
FTEDA
2006
113views more  FTEDA 2006»
15 years 4 months ago
Languages and Tools for Hybrid Systems Design
The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are s...
Luca P. Carloni, Roberto Passerone, Alessandro Pin...
SIGLEX
1991
15 years 8 months ago
Representation of Semantic Knowledge with Term Subsumption Languages
One problem in the design of a lexicon for natural language processing is the representation of semantic knowledge. We examine the adequacy of knowledge representation formalisms ...
Gerrit Burkert, Peter Forster
POS
1994
Springer
15 years 8 months ago
Using C as a Compiler Target Language for Native Code Generation in Persistent Systems
Persistent programming languages exhibit several requirements that affect the generation of native code, namely: garbage collection; arbitrary persistence of code, data and proces...
S. J. Bushell, Alan Dearle, Alfred L. Brown, Franc...
ICWS
2008
IEEE
15 years 5 months ago
A Framework for Verifying SLA Compliance in Composed Services
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
Hua Xiao, Brian Chan, Ying Zou, Jay W. Benayon, Bi...