9425 search results - page 260 / 1885 » Some Notes on Models and Modelling |
141
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Business-IT alignment can be achieved at various levels of maturity. Supposing that an organization has tried to achieve business-IT alignment, a question to face is: how is that o...
132
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper proposes a new hierarchical circuit modeling and simulation technique in s-domain for linear analog circuits. The new algorithm can perform circuit complexity reduction...
125
click to vote
EGOV
2004
Springer
15 years 7 months ago
2004
Springer
Inherent complexity of the e-Government application domain is also reflected in the workflows of e-Government service provision. This paper reports on how some real examples e-Gove...
131
click to vote
ITICSE
2010
ACM
15 years 7 months ago
2010
ACM
Introductory computer science classes are known for having a high attrition rate. Some authors believe this is due to students’ difficulties in establishing a mental model of co...
142
click to vote
ISSTA
1998
ACM
15 years 7 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...