2153 search results - page 297 / 431 » From Requirements Models to Formal Specifications in B |
172
click to vote
EMSOFT
2007
Springer
16 years 16 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
177
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
173
click to vote
JNW
2006
15 years 6 months ago
2006
An analytical model for calculating capacity in multi-cell UMTS networks is presented. Capacity is maximized for different spreading factors and for perfect and imperfect power con...
169
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a platform that aims to support the whole process and facilitate archiving tasks at museums and galleries. When we try to preserve tacit knowledge or skills of ...
262
click to vote
ICAIL
2011
ACM
14 years 6 months ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...