411 search results - page 31 / 83 » Algebraic Imperative Specifications |
120
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
106
click to vote
COSIT
2009
Springer
15 years 8 months ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
105
click to vote
VLDB
1993
ACM
15 years 6 months ago
1993
ACM
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
128
click to vote
CHES
2010
Springer
15 years 3 months ago
2010
Springer
Measurement errors make power analysis attacks difficult to mount when only a single power trace is available: the statistical methods that make DPA attacks so successful are not a...
142
click to vote
JLP
2008
15 years 13 days ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...