Sciweavers

10585 search results - page 1725 / 2117
» The Orc Programming Language
Sort
View
FM
2008
Springer
137views Formal Methods» more  FM 2008»
15 years 6 months ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux
VAMOS
2010
Springer
15 years 6 months ago
Using Collaborations to Encapsulate Features? An Explorative Study
A feature is a program characteristic visible to an end-user. Current research strives to encapsulate the implementation of a feature in a module. Jak is a language extension to Ja...
Martin Kuhlemann, Norbert Siegmund, Sven Apel
LREC
2008
130views Education» more  LREC 2008»
15 years 6 months ago
DIAC+: a Professional Diacritics Recovering System
In languages that use diacritical characters, if these special signs are stripped-off from a word, the resulted string of characters may not exist in the language, and therefore i...
Dan Tufis, Alexandru Ceausu
WICON
2008
15 years 6 months ago
Efficient XML usage within wireless sensor networks
Integrating wireless sensor networks in heterogeneous networks is a complex task. A reason is the absence of a standardized data exchange format that is supported in all participa...
Nils Hoeller, Christoph Reinke, Jana Neumann, Sven...
CASCON
2004
129views Education» more  CASCON 2004»
15 years 6 months ago
Practical language-independent detection of near-miss clones
Previous research shows that most software systems contain significant amounts of duplicated, or cloned, code. Some clones are exact duplicates of each other, while others differ ...
James R. Cordy, Thomas R. Dean, Nikita Synytskyy
« Prev « First page 1725 / 2117 Last » Next »