3256 search results - page 479 / 652 » Applications of Formal Methods to System Design and Verifica... |
100
Voted
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
Enterprises provide professionally authored content about their products/services in different languages for use in web sites and customer care. For customer care, personalization...
100
click to vote
EDOC
2008
IEEE
15 years 17 hour ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
104
Voted
GCC
2007
Springer
15 years 1 days ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
87
Voted
IDEAS
2006
IEEE
15 years 4 months ago
2006
IEEE
Tracking and tracing individual items is a new and emerging trend in many industries. Driven by maturing technologies such as Radio-Frequency Identification (RFID) and upcoming s...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague ...