3824 search results - page 328 / 765 » Geometry Constructions Language |
138
click to vote
ICSR
2009
Springer
15 years 11 months ago
2009
Springer
FeatuRSEB is a method for domain modeling of software system families using the industry standard notation of the Unified Modeling Language. FeatuRSEB/Sys is an extension of FeatuR...
138
Voted
FORMATS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
117
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...
127
click to vote
VL
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes an alternative form of interaction for mobile devices using crossmodal output. These crossmodal displays allow alternative senses such as hearing and touch to...
125
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...