10239 search results - page 88 / 2048 » Postmodern Software Development |
WKDD
2008
CPS
15 years 4 months ago
2008
CPS
The continuous technical advances have lead to the proliferation of very small and very cheap microprocessors, equipped with sensors and capacity of wireless communication. The in...
ACSW
2003
14 years 11 months ago
2003
This paper describes the development of a ubiquitous computing environment called the iRoom. Built from a foundation of the MIT Metaglue multi-agent software, a base level of func...
INFORMATICALT
2008
14 years 10 months ago
2008
Abstract. The purpose of the research described in this paper is to propose a framework and supporting tools that will help software companies to establish formalised methods that ...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
IJET
2008
14 years 10 months ago
2008
Within the TENCompetence project we aim to develop and integrate models and tools into an open source infrastructure for the creation, storage and exchange of learning objects, sui...