4350 search results - page 98 / 870 » Case studies for contract-based systems |
109
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Many businesses are now using online communities to interact with their customers and to realise the many benefits such communities offer. However, there remains little understand...
123
Voted
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
107
Voted
RE
2005
Springer
15 years 9 months ago
2005
Springer
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
134
Voted
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
On the Semantic Web personalization technologies are needed to deal with user diversity. Our research aims at maximising the automation of acquisition of user knowledge, thus provi...
124
Voted
AIIDE
2007
15 years 6 months ago
2007
We explore the tradeoff between player autonomy and designer intent by simulating a system of autonomous museum tour guides. Visitors may have different art preferences or may wis...