1525 search results - page 213 / 305 » Formal Models for Communication-Based Design |
98
Voted
ENTCS
2002
15 years 16 days ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
107
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
147
click to vote
AOSE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
105
Voted
HT
2005
ACM
15 years 6 months ago
2005
ACM
Hypertext can be seen as a logic representation, where semantics are encoded in both the textual nodes and the graph of links. Systems that have a very formal representation of th...
98
Voted
IMA
2005
Springer
15 years 6 months ago
2005
Springer
In recent years much research has been devoted to producing formal models of security for cryptographic primitives and to designing schemes that can be proved secure in such models...