1236 search results - page 27 / 248 » The Problems of Data Modeling in Software Practice |
140
Voted
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
How to achieve knowledge creation effectively remains a problem, this becomes even more difficult in a loosely knitted community such as networks of practice. This is because know...
152
Voted
EC
1998
15 years 3 months ago
1998
L. M. Adleman launched the field of DNA computing with a demonstration in 1994 that strands of DNA could be used to solve the Hamiltonian path problem for a simple graph. He also...
134
click to vote
APSEC
1999
IEEE
15 years 7 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
123
Voted
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
167
click to vote
CG
2008
Springer
15 years 3 months ago
2008
Springer
Particle-based simulation methods are used to model a wide range of complex phenomena and to solve time-dependent problems of various scales. Effective visualizations of the resul...