7557 search results - page 574 / 1512 » Modeling Timed Concurrent Systems |
194
click to vote
SIGMETRICS
2010
ACM
15 years 12 months ago
2010
ACM
Dynamic Spectrum Access systems exploit temporarily available spectrum (‘white spaces’) and can spread transmissions over a number of non-contiguous sub-channels. Such methods...
229
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
277
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
211
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
181
click to vote
ICIAP
2001
Springer
15 years 11 months ago
2001
Springer
A dynamical model for retinal processing is presented. The model describes the output of retinal ganglion cells whose receptive field is composed of a center and a surround combi...