6300 search results - page 271 / 1260 » We have it easy, but do we have it right |
COMPSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
113
click to vote
ITS
2000
Springer
15 years 5 months ago
2000
Springer
Graphical representations have long been associated with more efficient problem solving. More recently, researchers have begun looking at how representation may affect the informat...
108
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...
109
click to vote
ARGMAS
2008
Springer
15 years 3 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
102
click to vote
MASCOTS
2004
15 years 3 months ago
2004
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we...