738 search results - page 51 / 148 » Object Orientation and Formal Techniques |
DAC
2006
ACM
16 years 11 hour ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
116
click to vote
FMCO
2004
Springer
15 years 4 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
EICS
2009
ACM
15 years 2 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
ISMM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper deals with the theory and applications of spatially-variant mathematical morphology. We formalize the definition of spatially variant dilation/erosion and ope...
82
Voted
ICSEA
2007
IEEE
15 years 5 months ago
2007
IEEE
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...