1700 search results - page 25 / 340 » Specifying and implementing refactorings |
113
Voted
ITC
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
116
click to vote
CCS
2004
ACM
15 years 7 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
116
click to vote
VLDB
1993
ACM
15 years 6 months ago
1993
ACM
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...
104
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
123
click to vote
MOBISYS
2008
ACM
16 years 1 months ago
2008
ACM
Cascadia is a system that provides RFID-based pervasive computing applications with an infrastructure for specifying, extracting and managing meaningful high-level events from raw...