2248 search results - page 179 / 450 » Evolution of ERP Systems |
189
click to vote
SCP
2010
15 years 5 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
166
click to vote
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
201
click to vote
CAEPIA
2003
Springer
15 years 12 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
187
click to vote
ICES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper describes a new evolutionary mechanism developed specifically for cellular circuits. Called morphogenetic system, it is inspired by the mechanisms of gene exp...
196
click to vote
ENTCS
2007
15 years 6 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...