Sciweavers

649 search results - page 101 / 130
» Formalizing Rework in Software Processes
Sort
View
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
14 years 1 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ECAI
2008
Springer
13 years 9 months ago
QuestSemantics - Intelligent Search and Retrieval of Business Knowledge
Keyword-based search engines, though hugely popular, are limited when trying to answer very specific queries. The processing of search results is performed by users, rather than th...
Ian Blacoe, Ignazio Palmisano, Valentina A. M. Tam...
ML
2007
ACM
13 years 7 months ago
Status report: specifying javascript with ML
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
David Herman, Cormac Flanagan
ENTER
2010
Springer
13 years 6 months ago
Semantic Online Tourism Market Monitoring
SEMAMO (SEmantic MArket MOnitoring) is a research project seeking to make use of the increasingly growing information available at Web-based sales and marketing channels for conti...
Norbert Walchhofer, Milan Hronsky, Michael Pö...
GI
2009
Springer
13 years 5 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz