8828 search results - page 191 / 1766 » Formal methods in practice |
119
click to vote
ISCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
—In the design of a packet-oriented impulse-radio UWB communication system, the main challenge at the receiver is to have a fast synchronization to the coded pulses, along with a...
123
Voted
PAM
2005
Springer
15 years 10 months ago
2005
Springer
We propose a practical technique for the identification of lossy network links from end-to-end measurements. Our scheme is based on a function that computes the likelihood of each...
160
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
142
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
146
click to vote
SACMAT
2009
ACM
15 years 9 months ago
2009
ACM
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...