2111 search results - page 175 / 423 » How to Program Pervasive Systems |
113
Voted
UML
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
94
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
112
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper we consider how to efficiently identify tags on the moving conveyor. Considering conditions like the path loss and multi-path effect in realistic settings, we first p...
120
click to vote
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
114
Voted
SPRINGSIM
2010
14 years 11 months ago
2010
This paper presents how the DUP System, a straightforward POSIX-compatible framework that enables programminglanguage-agnostic parallel and distributed stream processing, can be u...