1415 search results - page 3 / 283 » Verified systems by composition from verified components |
DATE
2008
IEEE
13 years 8 months ago
2008
IEEE
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
146
click to vote
ICSE
2012
IEEE-ACM
11 years 8 months ago
2012
IEEE-ACM
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
CSFW
1999
IEEE
13 years 10 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
ICWS
2008
IEEE
13 years 7 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
ACSD
2009
IEEE
14 years 1 months ago
2009
IEEE
In a service-oriented architecture (SOA), a service broker assigns a previously published service (stored in a service registry) to a service requester. It is desirable for the co...