3799 search results - page 248 / 760 » An Engineering Approach to Formal Methods |
150
click to vote
EDOC
2008
IEEE
16 years 19 days ago
2008
IEEE
The cost of a telecom service development is correlated to the discontinuity and the complexity of the process. To solve this problem, we propose a method dedicated to telecom ser...
154
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
155
click to vote
AIS
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents on-going research towards understanding the discourse and workspace in computer mediated interactions. More specifically we present the development of a series...
132
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Trajectory methods sample the state trajectory of a circuit as it simulates in the time domain, and build macromodels by reducing and interpolating among the linearizations create...
157
click to vote
NIPS
2007
15 years 7 months ago
2007
We present a general boosting method extending functional gradient boosting to optimize complex loss functions that are encountered in many machine learning problems. Our approach...