4255 search results - page 621 / 851 » Database: Models, Languages, Design |
150
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
182
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
162
click to vote
DOCENG
2006
ACM
16 years 19 days ago
2006
ACM
This paper presents a system that exploits the benefits of modelling multimedia presentations as structured documents within the context of interactive digital television systems....
343
click to vote
CIDR
2011
14 years 10 months ago
2011
Cloud computing provides users near instant access to seemingly unlimited resources, and provides service providers the opportunity to deploy complex information technology infras...
224
click to vote
TFM
2009
Springer
16 years 1 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...