5096 search results - page 711 / 1020 » Associations as a Language Construct |
172
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
— This paper presents a fast analytical method for estimating the throughput of pipelined asynchronous systems, and then applies that method to develop a fast solution to the pro...
194
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
170
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
179
click to vote
SYNASC
2008
IEEE
16 years 1 months ago
2008
IEEE
Nowadays, business rules receive a lot of attention from both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our pape...
151
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...