2702 search results - page 361 / 541 » Practically Applicable Formal Methods |
127
click to vote
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Strategic Business and IT Alignment (SBITA) is still ranked amongst the top concerns of the enterprise’s management executives. Such alignment is an organization-wide issue that...
160
click to vote
HAPTICS
2006
IEEE
15 years 8 months ago
2006
IEEE
Biometric systems identify users based on behavioral or physiological characteristics. The advantages of such systems over traditional authentication methods such as passwords are...
149
click to vote
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
When library APIs change, client code should change in response, in order to avoid erroneous behavior, compilation failures, or warnings. Previous research has introduced techniqu...
126
click to vote
ASWC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Ontology matching is a crucial task of enabling interoperation between Web applications using different but related ontologies. Due to the size and the monolithic nature,...