Sciweavers

1912 search results - page 110 / 383
» XML Technologies and Software Engineering
Sort
View
ICSE
2000
IEEE-ACM
13 years 11 months ago
Graphical animation of behavior models
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jef...
FSTTCS
2008
Springer
13 years 9 months ago
Leaf languages and string compression
Tight connections between leafs languages and strings compressed via straight-line programs (SLPs) are established. It is shown that the compressed membership problem for a languag...
Markus Lohrey
ICSE
2004
IEEE-ACM
14 years 8 months ago
Precise Service Level Agreements
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...
James Skene, D. Davide Lamanna, Wolfgang Emmerich
AC
2003
Springer
14 years 1 months ago
Generic Haskell: Applications
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
Ralf Hinze, Johan Jeuring
SEE
2011
Springer
12 years 10 months ago
Dissolving the Engineering Moral Dilemmas Within the Islamic Ethico-Legal Praxes
The goal of responsible engineers is the creation of useful and safe technological products and commitment to public health, while respecting the autonomy of the clients and the pu...
Abdul Kabir Hussain Solihu, Abdul Rauf Ambali