Sciweavers

2722 search results - page 253 / 545
» The Model Evolution Calculus
Sort
View
PADL
2011
Springer
14 years 6 months ago
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
Tomas Petricek, Don Syme
OOPSLA
2007
Springer
15 years 10 months ago
SmartEMF: guidance in modeling tools
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inc...
Anders Hessellund
WELCOM
2001
Springer
144views ECommerce» more  WELCOM 2001»
15 years 8 months ago
A Multi-criteria Taxonomy of Business Models in Electronic Commerce
Looking at the ongoing evolution in electronic commerce there are more and more business models becoming significant. E-shops, e-auctions or etendering are not the only possibiliti...
Andreas Bartelt, Winfried Lamersdorf
134
Voted
IFIP
2004
Springer
15 years 9 months ago
New-HOPLA: A Higher-order Process Language with Name Generation
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
Glynn Winskel, Francesco Zappa Nardelli
EDBT
2006
ACM
112views Database» more  EDBT 2006»
16 years 3 months ago
Expressiveness and Performance of Full-Text Search Languages
We study the expressiveness and performance of full-text search languages. Our main motivation is to provide a formal basis for comparing such languages and to develop a model for...
Chavdar Botev, Sihem Amer-Yahia, Jayavel Shanmugas...