1676 search results - page 77 / 336 » Formal System Development with KIV |
217
click to vote
SIGSOFT
2011
ACM
14 years 11 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
130
click to vote
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
Although the formalisms normally used for describing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic pheno...
139
click to vote
NAR
2006
15 years 4 months ago
2006
The increasing amount of genomic and molecular information is the basis for understanding higherorder biological systems, such as the cell and the 15 organism, and their interacti...
155
click to vote
BRAIN
2010
Springer
15 years 1 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
158
click to vote
CADE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...