Sciweavers

7681 search results - page 1414 / 1537
» Typed Membrane Systems
Sort
View
MOBIHOC
2000
ACM
15 years 8 months ago
Low power rendezvous in embedded wireless networks
ln the future, wireless networking will be embedded into a wide variety of common, everyday objects [1]. In many embedded networking situations, the communicating nodes will be ver...
Terry Todd, Frazer Bennett, Alan Jones
POPL
2000
ACM
15 years 8 months ago
Enforcing Trace Properties by Program Transformation
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
Thomas Colcombet, Pascal Fradet
SIGUCCS
2000
ACM
15 years 8 months ago
Three Years in the Solution Center
After thirty-plus years of making small “mid-course corrections” types of changes to the support paradigm, many on the Iowa State University campus thought it was time to make...
Frank Poduska
AGENTS
1999
Springer
15 years 8 months ago
Personal Navigating Agents
The World Wide Web provides a huge distributed web database. However, information in the web database is free formatted and unorganized. Traditional keyword-based retrieval approa...
H. L. Wang, W. K. Shih, C. N. Hsu, Y. S. Chen, Y. ...
ROBOCUP
1999
Springer
113views Robotics» more  ROBOCUP 1999»
15 years 8 months ago
Middle Sized Soccer Robots: ARVAND
Abstract. Arvand is the name of robots specially designed and constructed by sharif CE team for playing soccer according to RoboCup rules and regulations for the middle size robots...
Mansour Jamzad, Amirali Foroughnassiraei, Ehsan Ch...
« Prev « First page 1414 / 1537 Last » Next »