1709 search results - page 160 / 342 » Precise Modeling of Design Patterns |
180
Voted
PADL
2011
Springer
14 years 4 months ago
2011
Springer
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...
102
click to vote
MOBIHOC
2006
ACM
16 years 22 days ago
2006
ACM
Message ferrying is a networking paradigm where a special node, called a message ferry, facilitates the connectivity in a mobile ad hoc network where the nodes are sparsely deploy...
117
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
124
Voted
ALENEX
2008
15 years 2 months ago
2008
The National Airspace System (NAS) is designed to accommodate a large number of flights over North America. For purposes of workload limitations for air traffic controllers, the a...
122
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...