512 search results - page 54 / 103 » A Motivation-Based Mechanism to Design Behaviors |
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— Different coherence dimensions can be considered to improve the performances of an algorithm for computing collision translations of pairs of convex polyhedra. The algorithm’...
TRIDENTCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
Grid and distributed computing environments are evolving rapidly and driving the development of system and network technologies. The design of applications has placed an increased...
ICDM
2005
IEEE
14 years 1 months ago
2005
IEEE
An outlier is an observation that deviates so much from other observations as to arouse suspicion that it was generated by a different mechanism. Outlier detection has many applic...
UIST
2005
ACM
14 years 1 months ago
2005
ACM
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...