2930 search results - page 380 / 586 » A Constructive Approach to the Design of Distributed Systems |
181
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
—Collaborations by the use of inter-organizational business processes can help companies to achieve a competitive edge over competing businesses. Typically, these collaborations ...
179
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
148
click to vote
AICT
2006
IEEE
16 years 19 days ago
2006
IEEE
Spoken language education plays an important role in modern language courses. Computer-based spoken language test systems provide a convenient, efficient and reliable approach to ...
162
click to vote
RAM
2008
IEEE
16 years 28 days ago
2008
IEEE
—The field of robotics relies heavily on various technologies such as mechatronics, computing systems, and wireless communication. Given the fast growing technological progress i...
164
click to vote
SIGSOFT
2006
ACM
16 years 15 days ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...