10458 search results - page 146 / 2092 » Modeling Features at Runtime |
183
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
163
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
138
click to vote
ICWE
2007
Springer
16 years 16 days ago
2007
Springer
Model-driven engineering (MDE) techniques address rapid changes anguages and platforms by lifting the abstraction level from code to models. On the one hand models are transformed ...
195
click to vote
SEMWEB
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
156
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...