5843 search results - page 1047 / 1169 » Software Security in Practice |
113
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
143
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Recently, service orientation has increasingly been debated both in research and practice. While researchers postulate a paradigm shift towards services as the basic unit of excha...
129
click to vote
ARGMAS
2004
Springer
15 years 8 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
155
click to vote
CASSIS
2004
Springer
15 years 8 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
137
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and...