Sciweavers

1316 search results - page 71 / 264
» Open Issues in Industrial Use Case Modeling
Sort
View
ICSE
2008
IEEE-ACM
14 years 8 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
ICSE
1997
IEEE-ACM
13 years 12 months ago
Endeavors: A Process System Infrastructure
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...
Arthur S. Hitomi, Gregory Alan Bolcer, Richard N. ...
WSC
2007
13 years 10 months ago
Effective workforce lifecycle management via system dynamics modeling and simulation
Efficiently planning and managing workforce is a challenge imposed on many companies, especially for those in the service industry. The target of an effective workforce management...
Lianjun An, Jun-Jang Jeng, Young M. Lee, Changrui ...
AO
2005
147views more  AO 2005»
13 years 7 months ago
Domain modelling and NLP: Formal ontologies? Lexica? Or a bit of both?
There are a number of genuinely open questions concerning the use of domain models in nlp. It would be great if contributors to Applied Ontology could help addressing them rather ...
Massimo Poesio
INFORMATICALT
2000
120views more  INFORMATICALT 2000»
13 years 7 months ago
Mobile Code Alternatives for Secure Environments
Growing popularity of the mobile code requires to consider various aspects related to its security. In the aviation industry there is a case when additional information needs to be...
Algirdas Pakstas, Igor Shagaev