1700 search results - page 25 / 340 » Specifying and implementing refactorings |
ITC
1998
IEEE
15 years 4 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...
CCS
2004
ACM
15 years 5 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...
VLDB
1993
ACM
15 years 3 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...
ATAL
2011
Springer
13 years 11 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...
103
click to vote
MOBISYS
2008
ACM
15 years 11 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...