1351 search results - page 55 / 271 » Towards a Spreadsheet Engineering |
COMPSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
This research aims at developing an approach for architecting and communicating software systems in the context of wireless sensor networks. In particular, it focuses on developin...
PPPJ
2003
ACM
14 years 3 months ago
2003
ACM
JAVA’s interface construct is widely perceived as a weak surrogate for multiple inheritance. Consequently, it should come as no surprise that despite their potential for writing...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
AMAST
2008
Springer
14 years 4 days ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
PAKM
2000
13 years 11 months ago
2000
The This paper presents our work to define an Extended Enterprise Memory which is an explicit representation of knowledge for cooperative activity. This work is relevant from coop...