Sciweavers

990 search results - page 116 / 198
» Towards an Ontology of Products
Sort
View
EWSA
2004
Springer
14 years 2 months ago
Towards an MDA-Based Development Methodology
This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases ...
Anastasius Gavras, Mariano Belaunde, Luís F...
IBERAMIA
2004
Springer
14 years 2 months ago
Towards CNC Programming Using Haskell
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germ&a...
HOTOS
2007
IEEE
14 years 1 months ago
Towards a Practical, Verified Kernel
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
AAAI
2010
13 years 10 months ago
Towards an Intelligent Code Search Engine
Software developers increasingly rely on information from the Web, such as documents or code examples on Application Programming Interfaces (APIs), to facilitate their development...
Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun...
MKWI
2008
92views Business» more  MKWI 2008»
13 years 10 months ago
Towards a Standardized Task Management
: Business processes are increasingly controlled by IT-systems automatically, but they still consist of many tasks that have to be performed by people. Despite an appropriate IT-in...
Tobias Unger, Thomas Bauer