4350 search results - page 98 / 870 » Case studies for contract-based systems |
HICSS
2006
IEEE
14 years 4 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...
IEEESCC
2005
IEEE
14 years 3 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 ...
RE
2005
Springer
14 years 3 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 ...
ESWS
2006
Springer
14 years 1 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...
AIIDE
2007
14 years 11 days 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...