3432 search results - page 477 / 687 » Model Development in the UML-based Specification Environment... |
246
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
169
click to vote
DATE
2005
IEEE
16 years 7 days ago
2005
IEEE
Context-aware applications pose new challenges, including a need for new computational models, uncertainty management, and efficient optimization under uncertainty. Uncertainty c...
201
click to vote
COORDINATION
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
158
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— In this study, a tactile-roughness transmission system applicable to master-slave systems with a communication time delay is developed. The master-side system construct...
186
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Retinal photoreceptors are highly specialised cells, which detect light and are central to mammalian vision. Many retinal diseases occur as a result of inherited dysfu...