4469 search results - page 842 / 894 » A Language for Role Specifications |
164
click to vote
ENTCS
2006
15 years 5 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
167
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
The main aim of the work presented here is to contribute to computer science advances in the multimodal usability area, in-as-much as it addresses one of the major issues relating...
156
click to vote
JTAER
2008
15 years 5 months ago
2008
The adoption of advanced integration technologies that enable private and public organizations to seamlessly execute their business transactions electronically is still relatively...
175
click to vote
JUCS
2008
15 years 5 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
194
click to vote
ASE
2005
15 years 5 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...