6618 search results - page 1083 / 1324 » Natural Logic for Natural Language |
180
click to vote
LADS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
160
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
152
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Model-driven engineering is a powerful approach to build large-scale applications. However, an application’s metamodel often remains static after the initial development phase an...
128
Voted
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Model-Driven Engineering (MDE) introduced the notion of metamodeling as the main means for defining modeling languages. As a well organized engineering discipline, MDE should also ...
176
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...