7080 search results - page 1096 / 1416 » Designing High Integrity Systems Using Aspects |
148
click to vote
IMCSIT
2010
15 years 2 months ago
2010
We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...
146
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
The layered architecture of middleware platforms (such as CORBA, SOAP, J2EE) is a mixed blessing. On the one hand, layers provide services such as demarshaling, session management...
125
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
123
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
124
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...