2662 search results - page 87 / 533 » Objects-early tools: a demonstration |
BC
2008
15 years 1 months ago
2008
Reduced models have long been used as a tool for the analysis of the complex activity taking place in neurons and their coupled networks. Recent advanced in experimental and theore...
CHI
1997
ACM
15 years 5 months ago
1997
ACM
We describe a case study of a complex, ongoing, collaborative work process, where the central activity is a series of meetings reviewing a wide range of subtle technical topics. T...
120
click to vote
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
119
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
We propose an algorithm for efficient threshold network synthesis of arbitrary multi-output Boolean functions. The main purpose of this work is to bridge the wide gap that currentl...
112
click to vote
DSN
2006
IEEE
15 years 5 months ago
2006
IEEE
Due to our increasing reliance on computer systems, security incidents and their causes are important problems that need to be addressed. To contribute to this objective, the pape...