Sciweavers

4917 search results - page 645 / 984
» Software Engineering is Not Computer Science
Sort
View
HICSS
2007
IEEE
85views Biometrics» more  HICSS 2007»
16 years 1 months ago
Scale and Scope Externalities in Growth of IT Industries in India: An Agglomeration Perspective
Externalities occur among agglomerated firms. Scale externalities occur between firms in an industry with similar activities. Scope externalities occur when heterogeneous activiti...
Robert J. Kauffman, Ajay Kumar
ICALT
2006
IEEE
16 years 25 days ago
Implementation of a Personalized Assessment Web Service
This paper describes the design, development and qualitative evaluation of a web-based personalized assessment service of an object–oriented programming course at the University...
Lilia Cheniti-Belcadhi, Nicola Henze, Rafik Braham
LPAR
2005
Springer
16 years 8 days ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
ICALP
2003
Springer
15 years 12 months ago
Hierarchical and Recursive State Machines with Context-Dependent Properties
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
Salvatore La Torre, Margherita Napoli, Mimmo Paren...
ICCS
2003
Springer
15 years 12 months ago
DDEMA: A Data Driven Environment for Multiphysics Applications
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...
John Michopoulos, Panagiota Tsompanopoulou, Elias ...