4290 search results - page 681 / 858 » Formal Approaches to Teamwork |
156
click to vote
ICST
2008
IEEE
16 years 28 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
166
click to vote
IDEAS
2008
IEEE
16 years 28 days ago
2008
IEEE
Peer-to-peer database systems (P2PDBs) aim at providing database services with node autonomy, high availability and loose coupling between participating nodes by building the DBMS...
168
click to vote
IEEEARES
2008
IEEE
16 years 28 days ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
192
click to vote
KBSE
2008
IEEE
16 years 28 days ago
2008
IEEE
—Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clo...
158
click to vote
RSP
2008
IEEE
16 years 27 days ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...