2662 search results - page 99 / 533 » Objects-early tools: a demonstration |
100
Voted
IEEESCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Enterprise IT environments are complex: business applications rely on distributed middleware running on diverse hardware with components depending on each other in many unexpected...
106
click to vote
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...
ACSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
96
Voted
HICSS
1999
IEEE
15 years 5 months ago
1999
IEEE
As data mining evolves and matures more and more businesses are incorporating this technology into their business practices. However, currently data mining and decision support so...
111
click to vote
CAV
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...