1454 search results - page 55 / 291 » Stateful traits and their formalization |
96
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
103
click to vote
ECOWS
2006
Springer
15 years 4 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
94
Voted
FAC
2008
15 years 18 days ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
110
Voted
NJC
2006
15 years 14 days ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
107
Voted
JSW
2007
15 years 13 days ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...