1926 search results - page 261 / 386 » Modeling and Model Checking Software Product Lines |
139
click to vote
FOSSACS
2011
Springer
14 years 7 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
164
click to vote
JUCS
2010
14 years 11 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
274
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
146
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
127
click to vote
VRML
2004
ACM
15 years 9 months ago
2004
ACM
Mining operations have traditionally used specialised software packages to process and visualise valuable mining data. The downside to this approach is that the information can on...