1525 search results - page 263 / 305 » Formal Models for Communication-Based Design |
114
click to vote
VEE
2006
ACM
15 years 6 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
104
click to vote
CAISE
2001
Springer
15 years 5 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
102
click to vote
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
202
click to vote
GIS
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
135
Voted
SAC
2008
ACM
15 years 2 days ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...