1080 search results - page 149 / 216 » Modeling Constraint Programs with Software Technology Standa... |
POPL
2006
ACM
14 years 8 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
Web services are rapidly changing the landscape of software engineering. One of the most interesting challenges introduced by web services is represented by Quality Of Service (Qo...
SAC
2000
ACM
14 years 4 days ago
2000
ACM
Since 1990 the Web has changed from a distributed hypertext system to an efficient environment for application delivery. Due to the legacy of the Web implementation model the deve...
AOSD
2009
ACM
14 years 2 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...