2153 search results - page 409 / 431 » From Requirements Models to Formal Specifications in B |
ALIFE
2005
13 years 7 months ago
2005
Deacon has recently proposed that complexes of genes can be integrated into functional groups as a result of environmental changes that mask and unmask selection pressures. For exa...
ECRA
2002
13 years 7 months ago
2002
E-Government reflects current visions for public administrations towards modernization and reorganization. Thereof, online one-stop Government targets the improvement of customer-...
ICEGOV
2009
ACM
13 years 5 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
ECOWS
2009
Springer
13 years 11 months ago
2009
Springer
The Windows Workflow Foundation (WF) has been introduced as part of the .NET framework as a means of creating workflow-centric applications. Its intended field of application is br...