10870 search results - page 1931 / 2174 » Model Checking Programs |
204
click to vote
IUI
2006
ACM
16 years 18 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
181
click to vote
ICLP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
179
click to vote
OOPSLA
2005
Springer
16 years 3 days ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
201
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
199
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...