2748 search results - page 129 / 550 » Generating Object-Z Specifications from Use Cases |
111
Voted
NC
2008
15 years 13 days ago
2008
We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The motivation comes both from constructing small universal systems...
136
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
We discuss here a parallel implementation of the visualisation of data from a galaxy formation simulation within the Triana problem-solving environment. The visualisation is a tes...
100
Voted
FPL
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a hardware architecture for non-uniform random number generation, which allows the generator's distribution to be modified at run-time without reconfigura...
103
Voted
NIPS
2007
15 years 1 months ago
2007
Social tags are user-generated keywords associated with some resource on the Web. In the case of music, social tags have become an important component of “Web2.0” recommender ...
ICSE
1998
IEEE-ACM
15 years 4 months ago
1998
IEEE-ACM
As software engineering efforts move to more complex, distributed environments, coordinating the activities of people and tools becomes very important. While groupware systems add...